Decide (($r$+1) $\ast$ ($r$+1)) $\leq$ $n$ THEN Auto